<?PHP
	$LOGIN_SEITE_NAME ="login.php";
	$PATH_TO_SCHUElERHAUPTSEITE ="schueler/startseite_2.php";
	$PATH_TO_LEHRERHAUPTSEITE = "lehrer/index.php";
	$SCHUELERSEITE_HAUPTSEITEN_NAME ="startseite_2.php";


?>